Nuprl Definition : csinput-cmd
11,40
postcript
pdf
csinput-cmd(
x
) == chain_sys_ind(
x
;
cmd
.
cmd
;
from
,
cmds
.
)
latex
Definitions
chain_sys_ind(
x
;
cmd
.
input
(
cmd
);
from
,
cmds
.
update
(
from
;
cmds
))
,
FDL editor aliases
csinput-cmd
origin